Reachability problem

Results: 18



#Item
11Network theory / Network flow / Graph / Shortest path problem / Tree / Reachability / Connectivity / Distance / Flow network / Graph theory / Mathematics / Theoretical computer science

A Sketch-Based Distance Oracle for Web-Scale Graphs Atish Das Sarma Sreenivas Gollapudi Marc Najork

Add to Reading List

Source URL: www.wsdm-conference.org

Language: English - Date: 2009-12-30 02:03:16
12Network theory / Graph connectivity / Reachability / R-tree / Routing / Shortest path problem / Pruning / Distributed data storage / Bx-tree / Graph theory / Mathematics / Theoretical computer science

iRoad: A Framework For Scalable Predictive Query Processing On Road Networks ∗ Abdeltawab M. Hendawi

Add to Reading List

Source URL: www-users.cs.umn.edu

Language: English - Date: 2015-04-07 01:41:51
13Mathematics / Reachability / Separable space / FO / Live variable analysis / Applied mathematics / Theoretical computer science / Data-flow analysis / Pointer

On the K-reachability Problem for Data Flow Analysis Reasoning may/must queries for combinatorial definitions Xiao Xiao, Charles Zhang Department of Computer Science and Engineering Hong Kong University of Science and Te

Add to Reading List

Source URL: www.cse.ust.hk

Language: English - Date: 2013-12-20 23:04:53
14Search algorithms / Graph connectivity / Abstract state machines / Egon Börger / Breadth-first search / Graph / Shortest path problem / Reachability / Graph theory / Theoretical computer science / Mathematics

Illustrating Stepwise Refinement Shortest Path ASMs Egon Börger Dipartimento di Informatica, Universita di Pisa

Add to Reading List

Source URL: www-madlener.informatik.uni-kl.de

Language: English - Date: 2011-11-02 07:23:18
15Graph connectivity / Reachability / Tree decomposition / Shortest path problem / Graph database / Aanderaa–Karp–Rosenberg conjecture / Directed acyclic graph / Graph theory / Theoretical computer science / Mathematics

Probabilistic Pattern Queries over Complex Probabilistic Graphs Alfredo Cuzzocrea Paolo Serafino

Add to Reading List

Source URL: www.edbt.org

Language: English - Date: 2012-02-05 09:01:06
16Graph / Cut / Shortest path problem / Flow network / Connectivity / Graph theory / Theoretical computer science / Mathematics

Active Graph Reachability Reduction for Network Security and Software Engineering Alice X. Zheng Microsoft Research Redmond, WA [removed]

Add to Reading List

Source URL: alicezheng.org

Language: English - Date: 2013-11-10 20:05:00
17Graph database / Graph / Shortest path problem / Connected component / Bipartite graph / Connectivity / Path / Reachability / Vertex / Graph theory / Mathematics / Graph connectivity

Vertexica: Your Relational Friend for Graph Analytics! Alekh Jindal∗ Samuel Madden∗ Praynaa Rawlani∗ Amol Deshpande⋆

Add to Reading List

Source URL: people.csail.mit.edu

Language: English - Date: 2014-09-10 16:19:45
18Complexity classes / Finite model theory / Graph connectivity / Game theory / FO / Reachability / P / Extensive-form game / Tree / Theoretical computer science / Graph theory / Mathematics

Backward Induction is PTIME-complete Jakub Szymanik∗ Institute of Logic Language and Computation, University of Amsterdam [removed] Abstract. We prove that the computational problem of finding backward induc

Add to Reading List

Source URL: jakubszymanik.com

Language: English - Date: 2013-07-13 09:14:28
UPDATE